all:
	pdflatex manual
	bibtex manual
	pdflatex manual
	pdflatex manual
